"Gary T. Leavens" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings (Lecture ... Programming and Software Engineering)

Gary T. Leavens, Peter O'Hearn, Sriram K. Rajamani

Категория: Техника

2.36 Mb

#2

Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings (Lecture Notes ... Programming and Software Engineering)

Gary T. Leavens, Peter O'Hearn, Sriram K. Rajamani

Категория: Техника

1.83 Mb